- теория частичного порядка
- Mathematics: theory of partial order
Универсальный русско-английский словарь. Академик.ру. 2011.
Универсальный русско-английский словарь. Академик.ру. 2011.
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… … Математическая энциклопедия
Отношение порядка — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Бинарное отношение на мно … Википедия
Кинетическая теория газов — Сущность ее может быть выражена в немногих словах. Согласно этой теории, газы состоят из огромного числа отдельных весьма малых частиц, двигающихся по всем возможным направлениям и со всеми возможными скоростями; частицы эти связаны между собой… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ОТНОСИТЕЛЬНОСТИ ТЕОРИЯ — физическая теория, рассматривающая пространственно временные закономерности, справедливые для любых физ. процессов. Универсальность пространственно временных св в, рассматриваемых О. т., позволяет говорить о них просто как о .св вах пространства… … Физическая энциклопедия
ОБОЛОЧЕК ТЕОРИЯ — направление в теории упругости и строительной механике, основная цель к рого состоит в описании напряжений н деформаций, возникающих под действием внешних нагрузок в оболочке. Оболочка твердое тело, ограниченное двумя поверхностями, к рое… … Математическая энциклопедия
МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… … Философская энциклопедия
Частично упорядоченное множество — У этого термина существуют и другие значения, см. Упорядоченное множество. Подмножества {x, y, z}, упо … Википедия
Теорема Шпильрайна — Теорема Шпильрайна одна из центральных теорем теории упорядоченных множеств, впервые сформулированная и доказанная польским математиком Эдвардом Шпильрайном в 1930 году. Содержание 1 Формулировка 2 Доказательство … Википедия
РЕГУЛЯРНАЯ ПОЛУГРУППА — полугруппа, каждый элемент к рой регулярен. Произвольная Р. п. Sсодержит идемпотенты (см. Регулярный элемент), и строение Sв значительной степени определяется строением и расположением в Sмножества всех ее идемпотентов Е(S). Р. п. с единственным… … Математическая энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Бинарное отношение — У этого термина существуют и другие значения, см. Отношение. В математике бинарным отношением называется подмножество декартова произведения двух множеств. В частности, бинарным отношением на множестве называется… … Википедия